181. Logic Colloquium '78
پدیدآورنده : / edited by Maurice Boffa, Dirk van Dalen, Kenneth McAloon. -
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic, Symbolic and mathematical--Congresses
رده :
QA
,
9
,.
A1
,
L63
,
1978
182. Logic Colloquium 2004 :
پدیدآورنده : edited by Alessandro Andretta, Keith Kearnes, Domenico Zambella
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
L63a
2004
183. Logic Colloquium '88
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical ; Congresses. ; Mathematics ; Congresses. ;
184. Logic Colloquium '96 :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical ; Congresses ;
185. Logic Colloquium '96
پدیدآورنده : / J.M. Larrazabal, D. Lascar, G. Mints, eds
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic, Symbolic and mathematical--Congresses
رده :
QA
,
9
,.
A1
,
L63
,
1996
BC
,
135
,.
L634
,
1996
186. Logic Colloquium 2007
پدیدآورنده : edited by Francoise Delon ... ]et al.[
موضوع : Congresses ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
187. Logic Colloquium '85 :
پدیدآورنده : edited by the Paris Logic Group
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
L63
1985
188. Logic Colloquium 76 :
پدیدآورنده : edited by R. O. Gandy, J. M. E. Hyland
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical-- Congresses
رده :
QA9
.
A1
L63
1976
189. Logic Colloquium '88
پدیدآورنده : / edited by R. Ferro ... [et al.]
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic, Symbolic and mathematical--Congresses
رده :
QA
,
9
,.
A1
,
L63
,
1988
190. Logic Colloquium '90 : ASL summer meeting in helsinki
پدیدآورنده : J. Oikkonen,J.Vaananen )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1
L63a
1990
191. Logic Colloquium : Symposium on Logic held at Boston, 1977-1973
پدیدآورنده : edited by R. Parikh
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
453
192. Logic Colloquium'80 : papers intended for the European Summer Meeting of the Association for Symbolic Logic
پدیدآورنده : edited by D. van Dalen, D. Lascar, T.J. Smiley
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L63
1980
193. Logic Colloquium '02 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Munster, Germany, August 3-11, 2002
پدیدآورنده : edited by Zoe Chatzidakis, Peter Koepke, Wolfram Pohlers
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
27
194. Logic Colloquium '90 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, July 15-22, 1990
پدیدآورنده : edited by Juha Oikkonen, Jouko Vaananen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
2
195. Logic Colloquium 2000 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Paris, France, July 23-31, 2000
پدیدآورنده : edited by Rene Cori... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
19
196. Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998
پدیدآورنده : edited by Samuel R. Buss, Petr Hajek, Pavel Pudlak
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
13
197. Logic Colloquium '98: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1
.
L64
1998
198. Logic Colloquium'95 : proceedings of the Annual European SummerMeeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995
پدیدآورنده : Johann A. Makowsky, Elena V. Ravve )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
11
199. Logic Colloquium'84 : proceedings of the Colloquium held in Manchester, U.K., July 1984
پدیدآورنده : editors, J.B. Paris, A.J. Wilkie, G.M. Wilmers
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L63
1984
200. Logic Colloquium'85 : proceedings of the Colloquium held in Orsay, France, July 1985
پدیدآورنده : edited by the Paris Logic Group
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L63
1985
